Optimal. Leaf size=77 \[ \frac{x (d x)^m \left (\frac{b \sqrt [3]{x}}{a}+1\right )^{-2 p} \left (a^2+2 a b \sqrt [3]{x}+b^2 x^{2/3}\right )^p \, _2F_1\left (3 (m+1),-2 p;3 m+4;-\frac{b \sqrt [3]{x}}{a}\right )}{m+1} \]
[Out]
________________________________________________________________________________________
Rubi [A] time = 0.0367421, antiderivative size = 77, normalized size of antiderivative = 1., number of steps used = 4, number of rules used = 4, integrand size = 30, \(\frac{\text{number of rules}}{\text{integrand size}}\) = 0.133, Rules used = {1356, 343, 341, 64} \[ \frac{x (d x)^m \left (\frac{b \sqrt [3]{x}}{a}+1\right )^{-2 p} \left (a^2+2 a b \sqrt [3]{x}+b^2 x^{2/3}\right )^p \, _2F_1\left (3 (m+1),-2 p;3 m+4;-\frac{b \sqrt [3]{x}}{a}\right )}{m+1} \]
Antiderivative was successfully verified.
[In]
[Out]
Rule 1356
Rule 343
Rule 341
Rule 64
Rubi steps
\begin{align*} \int \left (a^2+2 a b \sqrt [3]{x}+b^2 x^{2/3}\right )^p (d x)^m \, dx &=\left (\left (1+\frac{b \sqrt [3]{x}}{a}\right )^{-2 p} \left (a^2+2 a b \sqrt [3]{x}+b^2 x^{2/3}\right )^p\right ) \int \left (1+\frac{b \sqrt [3]{x}}{a}\right )^{2 p} (d x)^m \, dx\\ &=\left (\left (1+\frac{b \sqrt [3]{x}}{a}\right )^{-2 p} \left (a^2+2 a b \sqrt [3]{x}+b^2 x^{2/3}\right )^p x^{-m} (d x)^m\right ) \int \left (1+\frac{b \sqrt [3]{x}}{a}\right )^{2 p} x^m \, dx\\ &=\left (3 \left (1+\frac{b \sqrt [3]{x}}{a}\right )^{-2 p} \left (a^2+2 a b \sqrt [3]{x}+b^2 x^{2/3}\right )^p x^{-m} (d x)^m\right ) \operatorname{Subst}\left (\int x^{-1+3 (1+m)} \left (1+\frac{b x}{a}\right )^{2 p} \, dx,x,\sqrt [3]{x}\right )\\ &=\frac{\left (1+\frac{b \sqrt [3]{x}}{a}\right )^{-2 p} \left (a^2+2 a b \sqrt [3]{x}+b^2 x^{2/3}\right )^p x (d x)^m \, _2F_1\left (3 (1+m),-2 p;4+3 m;-\frac{b \sqrt [3]{x}}{a}\right )}{1+m}\\ \end{align*}
Mathematica [A] time = 0.0301352, size = 68, normalized size = 0.88 \[ \frac{x (d x)^m \left (\left (a+b \sqrt [3]{x}\right )^2\right )^p \left (\frac{b \sqrt [3]{x}}{a}+1\right )^{-2 p} \, _2F_1\left (3 (m+1),-2 p;3 (m+1)+1;-\frac{b \sqrt [3]{x}}{a}\right )}{m+1} \]
Antiderivative was successfully verified.
[In]
[Out]
________________________________________________________________________________________
Maple [F] time = 0.033, size = 0, normalized size = 0. \begin{align*} \int \left ({a}^{2}+2\,ab\sqrt [3]{x}+{b}^{2}{x}^{{\frac{2}{3}}} \right ) ^{p} \left ( dx \right ) ^{m}\, dx \end{align*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
Maxima [F] time = 0., size = 0, normalized size = 0. \begin{align*} \int{\left (b^{2} x^{\frac{2}{3}} + 2 \, a b x^{\frac{1}{3}} + a^{2}\right )}^{p} \left (d x\right )^{m}\,{d x} \end{align*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
Fricas [F(-2)] time = 0., size = 0, normalized size = 0. \begin{align*} \text{Exception raised: UnboundLocalError} \end{align*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
Sympy [F(-1)] time = 0., size = 0, normalized size = 0. \begin{align*} \text{Timed out} \end{align*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
Giac [F] time = 0., size = 0, normalized size = 0. \begin{align*} \int{\left (b^{2} x^{\frac{2}{3}} + 2 \, a b x^{\frac{1}{3}} + a^{2}\right )}^{p} \left (d x\right )^{m}\,{d x} \end{align*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]